extension | φ:Q→Out N | d | ρ | Label | ID |
C2.C25:1C2 = C42.313C23 | φ: C2/C1 → C2 ⊆ Out C2.C25 | 16 | 4 | C2.C2^5:1C2 | 128,1750 |
C2.C25:2C2 = C42.12C23 | φ: C2/C1 → C2 ⊆ Out C2.C25 | 16 | 8+ | C2.C2^5:2C2 | 128,1753 |
C2.C25:3C2 = C23.7C24 | φ: C2/C1 → C2 ⊆ Out C2.C25 | 16 | 4 | C2.C2^5:3C2 | 128,1757 |
C2.C25:4C2 = C23.9C24 | φ: C2/C1 → C2 ⊆ Out C2.C25 | 16 | 8+ | C2.C2^5:4C2 | 128,1759 |
C2.C25:5C2 = C8.C24 | φ: C2/C1 → C2 ⊆ Out C2.C25 | 32 | 4 | C2.C2^5:5C2 | 128,2316 |
C2.C25:6C2 = D8:C23 | φ: C2/C1 → C2 ⊆ Out C2.C25 | 16 | 8+ | C2.C2^5:6C2 | 128,2317 |
C2.C25:7C2 = C4.C25 | φ: C2/C1 → C2 ⊆ Out C2.C25 | 32 | 8- | C2.C2^5:7C2 | 128,2318 |
C2.C25:8C2 = 2+ 1+6 | φ: C2/C1 → C2 ⊆ Out C2.C25 | 16 | 8+ | C2.C2^5:8C2 | 128,2326 |
C2.C25:9C2 = 2- 1+6 | φ: C2/C1 → C2 ⊆ Out C2.C25 | 32 | 8- | C2.C2^5:9C2 | 128,2327 |